int show_eicas();
